Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
271	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
272	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
273	Online Appendix, Mathiness in the Theory of Growth, by Paul Romer Appendix: Mathiness in the Theory of Economic Growth by Paul Romer This appendix exists as both a Mathematica notebook called Mathiness Appendix.nb and a Add to Reading List Source URL: paulromer.net Language: English - Date: 2015-05-04 12:04:09 Functions and mappings Economic growth Function AK model Neoclassical growth model Economics Macroeconomics Mathematics
274	Using Relevance Queries for Identification of Read-Once Functions Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-02-16 12:55:16 Computational complexity theory Decision tree model Function FO Quantum algorithm Theoretical computer science Mathematics Applied mathematics
275	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:51:15 Model theory Differential calculus Group theory Differential algebra Differentially closed field Algebraic topology Differential of a function Vector space Sheaf Abstract algebra Algebra Mathematics
276	Applied Economics Journal Vol. 21 No. 2 (December 2014): Copyright © 2014 Center for Applied Economics Research ISSNBook Review: The Aggregate Production Function and the Measurement of Technical Chan Add to Reading List Source URL: www.journal.eco.ku.ac.th Language: English - Date: 2015-01-04 22:15:49 Business Production function Productivity Aggregation problem Labour economics Total factor productivity Cobb–Douglas production function National accounts Economic model Economics Microeconomics Technology
277	Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:55 Abstraction Data management FO Model checking Abstract interpretation Function Interpretation Mathematics Mathematical logic Theoretical computer science
278	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic
279	BLUEANT WIRELESS ANNOUNCES EXPANDED NATIONWIDE AVAILABILITY OF THE BLUEANT Q2 BLUETOOTH HEADSET Newest Model in Award-Winning Product Line Blends Form & Function to Deliver Industry-Leading Audio Quality, Voice Control a Add to Reading List Source URL: www.myblueant.com Language: English - Date: 2014-01-01 22:05:56 Electronic engineering Bluetooth Videotelephony Cloud clients BlueAnt Wireless Headset Android Mobile phone Technology Smartphones Computing
280	Universality and conformal invariance for the Ising model in domains with boundary∗ by R. P. Langlands, Marc-Andr´ e Lewis and Yvan Saint-Aubin Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-12 20:16:26 Statistical mechanics Stochastic processes Lattice models Symmetry Conformal field theory Ising model Normal distribution Partition function Invariant measure Physics Mathematical analysis Theoretical physics

UPDATE